Results for 'L. A. Simpson'

1000+ found
Order:
  1.  8
    Introduction.L. A. Harrington, M. D. Morley & S. G. Simpson - 1990 - Journal of Symbolic Logic 55 (2):867-868.
  2.  5
    On History and Ideology — A Response to Edge.Peter L. P. Simpson - 2011 - Polis 28 (2):320-324.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    The strain-rate sensitivity of the plastic properties of α-iron at high temperatures.R. W. Evans & L. A. Simpson - 1969 - Philosophical Magazine 19 (160):809-819.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  17
    The great ethics of Aristotle.Peter L. P. Simpson - 2014 - New Brunswick: Transaction Publishers. Edited by Peter Simpson.
    In this follow up to The Eudemian Ethics of Aristotle, Peter L. P. Simpson centers his attention on the basics of Aristotelian moral doctrine as found in the Great Ethics: the definition of happiness, the nature and kind of the virtues, pleasure, and friendship. This work's authenticity is disputed, but Simpson argues that all the evidence favors it. Unlike the Nicomachean and Eudemian Ethics, Aristotle wrote the Great Ethics for a popular audience. It gives us insight less into (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  22
    Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  6.  33
    Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 , pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 , pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  7. Lexical access and meaning suppression.G. B. Simpson, M. A. Krueger & R. L. Beyer - 1989 - Bulletin of the Psychonomic Society 27 (6):504-504.
     
    Export citation  
     
    Bookmark  
  8.  13
    Ramsey Quantifiers in Arithmetic.Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, James H. Schmerl & Stephen G. Simpson - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    The Eudemian Ethics of Aristotle.Peter L. P. Simpson - 2013 - Routledge.
    Among the works on ethics in the Aristotelian corpus, there is no serious dispute among scholars that the "Eudemian Ethics "is authentic. The "Eudemian Ethics "is" "increasingly read and used by scholars as a useful support and confirmation and sometimes contrast to the "Nicomachean Ethics." Yet, it remains a largely neglected work in the study of Aristotle's ethics, both among scholars and moral philosophers. Peter L. P. Simpson provides an analytical outline of the entire work together with summaries of (...)
  10.  32
    How Co-creation Increases Employee Corporate Social Responsibility and Organizational Engagement: The Moderating Role of Self-Construal.Bonnie Simpson, Jennifer L. Robertson & Katherine White - 2020 - Journal of Business Ethics 166 (2):331-350.
    This research merges literature from organizational behavior and marketing to garner insight into how organizations can maximize the benefits of Corporate Social Responsibility for enhanced CSR and organizational engagement of employees. Across two field experiments, the authors demonstrate that the effectiveness of employee co-creation activities in increasing employees’ positive CSR perceptions is moderated by self-construal. In particular, the positive effect of co-creation on CSR perceptions emerges only for employees with a salient interdependent self-construal. Moreover, the results demonstrate that increased positive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  46
    Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.
    A Turing degree a is said to be almost everywhere dominating if, for almost all $X \in 2^{\omega}$ with respect to the "fair coin" probability measure on $2^{\omega}$ , and for all g: $\omega \rightarrow \omega$ Turing reducible to X, there exists f: $\omega \rightarrow \omega$ of Turing degree a which dominates g. We study the problem of characterizing the almost everywhere dominating Turing degrees and other, similarly defined classes of Turing degrees. We relate this problem to some questions in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  12.  71
    An Emotion Regulation and Impulse Control (ERIC) Intervention for Vulnerable Young People: A Multi-Sectoral Pilot Study.Kate Hall, George Youssef, Angela Simpson, Elise Sloan, Liam Graeme, Natasha Perry, Richard Moulding, Amanda L. Baker, Alison K. Beck & Petra K. Staiger - 2021 - Frontiers in Psychology 12.
    Objective: There is a demonstrated link between the mental health and substance use comorbidities experienced by young adults, however the vast majority of psychological interventions are disorder specific. Novel psychological approaches that adequately acknowledge the psychosocial complexity and transdiagnostic needs of vulnerable young people are urgently needed. A modular skills-based program for emotion regulation and impulse control addresses this gap. The current one armed open trial was designed to evaluate the impact that 12 weeks exposure to ERIC alongside usual care (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Protocol for a Phase Two, Parallel Three-Armed Non-inferiority Randomized Controlled Trial of Acceptance and Commitment Therapy (ACT-Adjust) Comparing Face-to-Face and Video Conferencing Delivery to Individuals With Traumatic Brain Injury Experiencing Psychological Distress.Diane L. Whiting, Grahame K. Simpson, Frank P. Deane, Sarah L. Chuah, Michelle Maitz & Jerre Weaver - 2021 - Frontiers in Psychology 12.
    Background: People with traumatic brain injury face a range of mental health challenges during the adjustment process post-injury, but access to treatment can be difficult, particularly for those who live in regional and remote regions. eHealth provides the potential to improve access to evidence-based psychological therapy for people with a severe TBI. The aim of the current study is to assess the efficacy of a psychological intervention delivered via video consulting to reduce psychological distress in people with TBI.Methods: This paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  80
    Softlifting: A model of motivating factors. [REVIEW]Penny M. Simpson, Debasish Banerjee & Claude L. Simpson - 1994 - Journal of Business Ethics 13 (6):431 - 438.
    Softlifting (software piracy by individuals) is an unethical behavior that pervades today''s computer dependent society. Since a better understanding of underlying considerations of the behavior may provide a basis for remedy, a model of potential determinants of softlifting behavior is developed and tested. The analysis provides some support for the hypothesized model, specifically situational variables, such as delayed acquisition times, and personal gain variables, such as the challenge of copying, affect softlifting behavior. Most importantly, the analysis indicated that ethical perception (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  15.  19
    Aristotle’s Politics: A Critical Guide, written by Thornton Lockwood and Thanassis Samaras.P. L. P. Simpson - 2017 - Polis 34 (1):157-159.
  16.  1
    The Founders, Democracy, and the Paradox of Education in a Republic.Timothy L. Simpson - 2004 - Philosophy of Education 60:194-196.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    Aristotle's ethica eudemia 1220b10–11 ἐν τοῖς ἀπηλλαγμένοις and de virtutibus et vitiis.Peter L. P. Simpson - 2013 - Classical Quarterly 63 (2):651-659.
    Aristotle's Ethica Eudemia Book 2 Chapter 2 contains, at lines 1220b10–11, a well-known crux in the phrase ἐν τοῖς ἀπηλλαγμένοις. The context makes clear that Aristotle is using this phrase to refer to some writing or other, but scholars have been puzzled both about what the phrase means and what writing it refers to.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Aristotle's Four Ethics.Peter P. L. Simpson - 2014 - Philosophia: International Journal of Philosophy (Philippine e-journal) 15 (2):162-179.
    In the Aristotelian corpus of writings as it has come down to us, there are four works specifically on ethics: the Nicomachean ethics, the Eudemian ethics, the Magna moralia ( or Great ethics) and the short On virtues and vices. Scholars are now agreed that the first two are genuinely by Aristotle and most also believe that the Nicomachean is the later and better of the two. About the Magna moralia, there is still a division of opinion, though probably most (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Essentials of Symbolic Logic, Third Edition.R. L. Simpson - 2008 - Peterborough, CA: Broadview Press.
    Essentials of Symbolic Logic is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations (proofs) in this system.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  28
    Essentials of Symbolic Logic - Third Edition.R. L. Simpson - 2008 - Peterborough, CA: Broadview Press.
    The third edition of _Essentials of Symbolic Logic_ is a concise and clearly written introduction to the topic. Based on years of use in colleges and universities, the book provides an accessible and thorough grounding in sentence logic and predicate logic. While technical jargon is kept to a minimum, all necessary logical concepts and vocabulary are explained clearly. A standard system of natural deduction is developed, and readers are given suggestions for developing strategies for creating derivations in this system. An (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  20
    Friedrich Hölderlin and the German idealist philosophy of his day.David L. Simpson - unknown
    The present thesis takes its original impetus from the author's conviction that the German philosophy of the "Goethezeit" represents a peak of metaphysical insight and achievement comparable with the original flowering of European philosophical thought in the age of Plato and Aristotle. Until recently, it was fashionable to regard Kant and Hegel as the two 'giants' of this second flowering and to consign other philosophers, such as Fichte and Schelling, to the role of supporting figures. However, in recent years, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  16
    On emending and not emending the text of some passages in Aristotle's ethica eudemia.Peter L. P. Simpson - 2013 - Classical Quarterly 63 (2):660-679.
    The text of Aristotle'sEthica Eudemia is often in need of emendation, especially because of the particular fault in the manuscripts of misreading one letter for another or misdividing letters to form words. Scholars have already done fine work in correcting many of these errors, but more needs to be done. A second problem with the text does not have to do with matters of spelling or grammar, but rather with those of philosophical sense. For, as scholars have noted, theEEis marked (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  42
    The Logic of Epistemology and the Epistemology of Logic. [REVIEW]R. L. Simpson - 1989 - Review of Metaphysics 43 (2):402-404.
    Every essay in The Logic of Epistemology and the Epistemology of Logic deals with various problems arising from "possible world semantics." A philosopher with little understanding of these problems naturally approaches a book having such a title with some trepidation. It is clear enough what the logic of epistemology is; the notion of an epistemology of logic is intelligible only from a certain philosophical perspective. Those philosophers who think of "possible world semantics" as a basically misconceived endeavor will find very (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Leo Strauss, Education, and Political Thought.Shadia B. Drury, Jon Fennell, Tim McDonough, Heinrich Meier, Neil G. Robertson, Timothy L. Simpson, J. G. York, Catherine H. Zuckert & Michael Zuckert (eds.) - 2011 - Fairleigh Dickinson University Press.
    This collection by some of the leading scholars of Strauss's work is the first devoted to Strauss's thought regarding education. It seeks to address his conception of education as it applies to a range of his most important concepts, such as his views on the importance of revelation, his critique of modern democracy and the importance of modern classical education.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  37
    L’origine et l’evolution du concept grec de phusis. [REVIEW]William A. Simpson - 1995 - Ancient Philosophy 15 (1):220-222.
  26.  16
    Axioms and (counter)examples in synthetic domain theory.Jaap van Oosten & Alex K. Simpson - 2000 - Annals of Pure and Applied Logic 104 (1-3):233-278.
    An axiomatic treatment of synthetic domain theory is presented, in the framework of the internal logic of an arbitrary topos. We present new proofs of known facts, new equivalences between our axioms and known principles, and proofs of new facts, such as the theorem that the regular complete objects are closed under lifting . In Sections 2–4 we investigate models, and obtain independence results. In Section 2 we look at a model in de Modified realizability Topos, where the Scott Principle (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Réguler les robots-tueurs, plutôt que les interdire.Vincent C. Müller & Thomas W. Simpson - 2015 - Multitudes 58 (1):77.
    This is the short version, in French translation by Anne Querrien, of the originally jointly authored paper: Müller, Vincent C., ‘Autonomous killer robots are probably good news’, in Ezio Di Nucci and Filippo Santoni de Sio, Drones and responsibility: Legal, philosophical and socio-technical perspectives on the use of remotely controlled weapons. - - - L’article qui suit présente un nouveau système d’armes fondé sur des robots qui risque d’être prochainement utilisé. À la différence des drones qui sont manoeuvrés à distance (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  28.  96
    An incompleteness theorem for β n -models.Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612-616.
    Let n be a positive integer. By a $\beta_{n}-model$ we mean an $\omega-model$ which is elementary with respect to $\sigma_{n}^{1}$ formulas. We prove the following $\beta_{n}-model$ version of $G\ddot{o}del's$ Second Incompleteness Theorem. For any recursively axiomatized theory S in the language of second order arithmetic, if there exists a $\beta_{n}-model$ of S, then there exists a $\beta_{n}-model$ of S + "there is no countable $\beta_{n}-model$ of S". We also prove a $\beta_{n}-model$ version of $L\ddot{o}b's$ Theorem. As a corollary, we obtain (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    Filosofii︠a︡, metodologii︠a︡, nauka: kollektivnai︠a︡ monografii︠a︡.L. A. Mikeshina (ed.) - 2004 - Moskva: Prometeĭ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  7
    Nauka na grani s nenaukoĭ.L. A. Markova - 2013 - Moskva: Reabilitat︠s︡ii︠a︡.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  24
    Kirby L. A. S. and Paris J. B.. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by Lachlan A., Srebrny M., and Zarach A., Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226.Paris J. B.. Some independence results for Peano arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
  32. Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic. [REVIEW]Stephen G. Simpson - 1983 - Journal of Symbolic Logic 48 (2):482-483.
  33.  23
    A Values‐Clarification Retrospective.Evan Simpson - 1986 - Educational Theory 36 (3):271-287.
    Values clarification was too quickly scorned, for its problems are also problems for other contemporary approaches to moral education - especially cognitive-developmental accounts. These problems show the need for better understanding of behavioural characterizations - particularly of the use of words for virtues and vices. The problems can best be corrected by reexamining the role of conversation in education along lines suggested by Freire and Habermas rather than Dewey and Kohlberg. -/- .
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Finding pearls: psychometric reevaluation of the Simpson–Troost Attitude Questionnaire (STAQ).Steven V. Owen, Mary Anne Toepperwein, Carolyn E. Marshall, Michael J. Lichtenstein, Cheryl L. Blalock, Yan Liu, Linda A. Pruski & Kandi Grimes - 2008 - Science Education 92 (6):1076-1095.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  35.  5
    La justice, la vulnérabilité et le politique autrement.Bernard Gagnon, Naïma Hamrouni, Françoise Paradis-Simpson & Dany Rondeau (eds.) - 2022 - Les Presses de l’Université de Laval.
    Dans les débats contemporains sur la justice, la vulnérabilité est porteuse d’un puissant contenu normatif et pratique. Elle offre des descriptions riches des expériences humaines prenant en considération des relations complexes et ambivalentes qui sont tues sous la seule norme de l’individualisme libéral. Il ne s’agit pas de rejeter l’importance d’une vie autonome, mais de repenser les cadres normatifs qui lui donnent un sens et de revoir les moyens de l’atteindre. La vulnérabilité, bien qu’elle se manifeste comme un idéal normatif (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. A One Category Ontology.L. A. Paul - 2017 - In John A. Keller (ed.), Being, Freedom, and Method: Themes From the Philosophy of Peter van Inwagen. New York: Oxford University Press UK. pp. 32-62.
    I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  37. Metaphysics as modeling: the handmaiden’s tale.L. A. Paul - 2012 - Philosophical Studies 160 (1):1-29.
    Critics of contemporary metaphysics argue that it attempts to do the hard work of science from the ease of the armchair. Physics, not metaphysics, tells us about the fundamental facts of the world, and empirical psychology is best placed to reveal the content of our concepts about the world. Exploring and understanding the world through metaphysical reflection is obsolete. In this paper, I will show why this critique of metaphysics fails, arguing that metaphysical methods used to make claims about the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   137 citations  
  38.  13
    Maxwell on the Electromagnetic Field: A Guided Study. Thomas K. Simpson.L. Pearce Williams - 1997 - Isis 88 (4):715-716.
  39. Précis of Transformative Experience.L. A. Paul - 2014 - Philosophy and Phenomenological Research 91 (3):760-765.
    I summarize the main argument of Transformative Experience (OUP 2014). The book develops familiar examples from classical philosophical debates, as well as original examples, to argue that an agent’s decision to undergo a transformative experience—an experience constituted by radical personal and epistemic change for the agent—must either be authentic or irrational, but not both. The Precis of Transformative Experience walks the reader through the main ideas involved in epistemically and personally transformative experiences, the problems they pose for rational decision-making, and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  40. The Context of Essence.L. A. Paul - 2004 - Australasian Journal of Philosophy 82 (1):170-184.
    I address two related questions: first, what is the best theory of how objects have de re modal properties? Second, what is the best defence of essentialism given the variability of our modal intuitions? I critically discuss several theories of how objects have their de re modal properties and address the most threatening antiessentialist objection to essentialism: the variability of our modal intuitions. Drawing on linguistic treatments of vagueness and ambiguity, I show how essentialists can accommodate the variability of modal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  41.  78
    Delusions: The phenomenological approach.L. A. Sass & E. Pienkos - 2013 - In K. W. M. Fulford, Martin Davies, Richard Gipps, George Graham, John Sadler, Giovanni Stanghellini & Tim Thornton (eds.), The Oxford handbook of philosophy and psychiatry. Oxford: Oxford University Press. pp. 632--657.
    This chapter offers an overview of the phenomenological approach to delusions, emphasizing what Karl Jaspers called the "true delusions" of schizophrenia. Phenomenological psychopathology focuses on the experience of delusions and the delusional world. Several features of this approach are surveyed, including emphasis on formal qualities of subjective life and questioning of standard assumptions about delusions as erroneous belief. The altered modalities of world-oriented and self-oriented experience that precede and ground delusions in schizophrenia, especially the experiences of revelation that Klaus Conrad (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  42. Mereological bundle theory.L. A. Paul - 2013 - In Hans Burkhardt, Johanna Seibt & Guido Imaguire (eds.), Handbook of Mereology. Philosophia Verlag.
    Bundle theory takes objects to be bundles of properties. Some bundle theorists take objects to be bundles of instantiated universals, and some take objects to be bundles of tropes. Tropes are instances of properties: some take instantiated universals to be tropes, while others deny the existence of universals and take tropes to be ontologically fundamental. Historically, the bundling relation has been taken to be a primitive relation, not analyzable in terms of or ontologically reducible to some other relation, and has (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  43.  85
    A comprehensive theory of human mating must explain between-sex and within-sex differences in mating strategies.April L. Bleske & David M. Buss - 2000 - Behavioral and Brain Sciences 23 (4):593-594.
    Gangestad & Simpson make a major contribution by highlighting the importance of mate choice for good genes, the costs of alternative strategies, and tradeoffs inherent in human mating. By downplaying sex differences and ignoring the nongenetic adaptive benefits of short term mating, however, they undermine their goal of “strategic pluralism” by presenting a theory devoid of many documented complexities of human mating.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  8
    Maxwell on the Electromagnetic Field: A Guided Study by Thomas K. Simpson[REVIEW]L. Williams - 1997 - Isis 88:715-716.
  45. Enquiries concerning Human Understanding and concerning the Principles of Morals.David Hume, L. A. Selby-Bigge & P. H. Nidditch - 1976 - Revue Philosophique de la France Et de l'Etranger 166 (2):265-266.
  46. Separation and Weak Konig's Lemma.A. Humphreys & Stephen Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
    We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL$_0$ over RCA$_0$. We show that the separation theorem for separably closed convex sets is equivalent to ACA$_0$ over RCA$_0$. Our strategy for proving these geometrical Hahn-Banach theorems is to reduce to the finite-dimensional case by means of a compactness argument.
     
    Export citation  
     
    Bookmark   1 citation  
  47.  33
    Generalizations of the Kruskal-Friedman theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
    Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  4
    Orfeĭ v ėpokhu zvezdoletov: iskusstvo v dukhovnoĭ zhizni sovremennogo cheloveka.L. A. Smorzh - 1989 - Kiev: Izd-vo polit. lit-ry Ukrainy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  26
    Reverse mathematics and ordinal exponentiation.Jeffry L. Hirst - 1994 - Annals of Pure and Applied Logic 66 (1):1-18.
    Simpson has claimed that “ATR0 is the weakest set of axioms which permits the development of a decent theory of countable ordinals” [8]. This paper provides empirical support for Simpson's claim. In particular, Cantor's Normal Form Theorem and Sherman's Inequality for countable well-orderings are both equivalent to ATR0. The proofs of these results require a substantial development of ordinal exponentiation and a strengthening of the comparability result in [3].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  50.  3
    Istoriosofii︠a︡ N.A. Berdi︠a︡eva.L. A. Gaman - 2003 - Tomsk: Tomskiĭ gos. universitet. Edited by B. G. Mogilʹnit︠s︡kiĭ.
1 — 50 / 1000